Biblioteca Dr. Antonio Monteiro · Catálogo | |
1. | Multi-dimensional modal logic / by Maarten Marx and Yde Venema. | 1997 | Libro |
03 M392 |
2. | A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. | 2005 | e-book | SpringerLink, via BECYT |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com